1. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
2. Proceedings of the Second Scandinavian Logic Symposium
پدیدآورنده: Scandinavian Logic Symposium, 2d, 0791, University of Oslo
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
S32
1970
3. Proceedings of the second Scndinavian logic symposium
پدیدآورنده: / ed. by J. E. Fenstad
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical - Congresses
رده :
511
.
3
S283
